Contracts-based Control Integration into Software Systems

International audienceAmong the different techniques that are used to design self-adaptive software systems, control theory allows one to design an adaptation policy whose properties, such as stability and accuracy, can be formally guaranteed under certain assumptions. However, in the case of software systems, the integration of these controllers to build complete feedback control loops is manual. More importantly it requires an extensive handcrafting of non-trivial implementation code. This may lead to inconsistencies and instabilities as no systematic and automated assurance can be obtained on the fact that the initial assumptions for the designed controller still hold in the resulting system.In this chapter, we rely on the principles of design-by-contract to ensure the correction and robustness of a self-adaptive software system built using feedback control loops. Our solution raises the level of abstraction upon which the loops are specified by allowing one to define and automatically verify system-level properties organized in contracts. They cover behavioral, structural and temporal architectural constraints as well as explicit interaction. These contracts are complemented by a first-class support for systematic fault handling. As a result, assumptions about the system operation conditions become more explicit and verifiable in a systematic way

The STAGGER-grid: A grid of 3D stellar atmosphere models: V. Synthetic stellar spectra and broad-band photometry

Context. The surface structures and dynamics of cool stars are characterised by the presence of convective motions and turbulent flows which shape the emergent spectrum. Aims. We used realistic three-dimensional (3D) radiative hydrodynamical simulations from the STAGGER-grid to calculate synthetic spectra with the radiative transfer code OPTIM3D for stars with different stellar parameters to predict photometric colours and convective velocity shifts. Methods. We calculated spectra from 1000 to 200 000 Å with a constant resolving power of λ/Δλ = 20 000 and from 8470 and 8710 Å (Gaia Radial Velocity Spectrometer - RVS - spectral range) with a constant resolving power of λ/Δλ = 300 000. Results. We used synthetic spectra to compute theoretical colours in the Johnson-Cousins UBV (RI)C, SDSS, 2MASS, Gaia, SkyMapper, Strömgren systems, and HST-WFC3. Our synthetic magnitudes are compared with those obtained using 1D hydrostatic models. We showed that 1D versus 3D differences are limited to a small percent except for the narrow filters that span the optical and UV region of the spectrum. In addition, we derived the effect of the convective velocity fields on selected Fe I lines. We found the overall convective shift for 3D simulations with respect to the reference 1D hydrostatic models, revealing line shifts of between -0.235 and +0.361 km s-1. We showed a net correlation of the convective shifts with the effective temperature: lower effective temperatures denote redshifts and higher effective temperatures denote blueshifts. We conclude that the extraction of accurate radial velocities from RVS spectra need an appropriate wavelength correction from convection shifts. Conclusions. The use of realistic 3D hydrodynamical stellar atmosphere simulations has a small but significant impact on the predicted photometry compared with classical 1D hydrostatic models for late-type stars. We make all the spectra publicly available for the community through the POLLUX database.L.C. gratefully acknowledges support from the Australian Research Council (grants DP150100250, FT160100402)

A Generic Solution for Automated Collecting and Integration of Biological Data from Web Sources

Session Posters. Colloque avec actes et comité de lecture. internationale.International audienceWe present here a work dealing with automated collecting and integration of data along a user-defined scenario. Aspects such as query construction, query submission, parsing of returned document, filtering of desired data and storing them in a structured document have been considered as well as the chaining between the various steps of the scenario. Automation of the process allows to refresh the data in a time-saving manner in order to take into account the frequent changes in source contents. A configuration module distinct from the execution module allows to modify the scenario steps according to user preferences and/or source changes

End-User Modelling

National audienceno abstrac

Immunoselection and characterization of a human genomic PPAR binding fragment located within POTE genes

Peroxisome proliferator-activated receptors (PPARs) are ligand-inducible transcription factors and belong to the nuclear hormone receptor superfamily. They form heterodimers with retinoid X receptor (RXR) and bind to specific PPAR-response elements. To identify novel PPAR target genes, we developed an affinity method to isolate human genomic fragments containing binding sites for PPARs. For this, an antibody raised against all PPAR subtypes was used. Immunoselected fragments were amplified and sequenced. One of them, ISF1029, was mapped by BLAT and BLAST searches on different human chromosomes, downstream of several POTE genes. ISF1029 contained three hexamers strongly related to the AGGTCA motif organized according to a DR0/3 motif. The latter was found to bind to PPARΑ in gel mobility shift and supershift assays and to exhibit a downregulation potentiality in transfection experiments under clofibrate treatment. POTE genes were shown to be highly expressed in human Caco-2 colorectal adenocarcinoma cells and downregulated by fenofibrate and 9-cis-retinoic acid, as attested by RT-PCR assays. Microarray analysis confirmed and extended to the human T98-G glioblastoma cells, the downregulation of several POTE genes expression by Wy-14,643, a potent PPARΑ activator. Our data provide new insights about the pleiotropic action of PPARs

Requirements of the SALTY project

This document is the first external deliverable of the SALTY project (Self-Adaptive very Large disTributed sYstems), funded by the ANR under contract ANR-09-SEGI-012. It is the result of task 1.1 of the Work Package (WP) 1 : Requirements and Architecture. Its objective is to identify and collect requirements from use cases that are going to be developed in WP 4 (Use cases and Validation). Based on the study and classification of the use cases, requirements against the envisaged framework are then determined and organized in features. These features will aim at guide and control the advances in all work packages of the project. As a start, features are classified, briefly described and related scenarios in the defined use cases are pinpointed. In the following tasks and deliverables, these features will facilitate design by assigning priorities to them and defining success criteria at a finer grain as the project progresses. This report, as the first external document, has no dependency to any other external documents and serves as a reference to future external documents. As it has been built from the use cases studies that have been synthesized in two internal documents of the project, extracts from the two documents are made available as appendices (cf. appen- dices B and C)

Excess of Rare Missense Variants in Hearing Loss Genes in Sporadic Meniere Disease

Meniere’s disease (MD) is a clinical spectrum of rare disorders characterized by vertigo attacks, associated with sensorineural hearing loss (SNHL) and tinnitus involving low to medium frequencies. Although it shows familial aggregation with incomplete phenotypic forms and variable expressivity, most cases are considered sporadic. The aim of this study was to investigate the burden for rare variation in SNHL genes in patients with sporadic MD. We conducted a targeted-sequencing study including SNHL and familial MD genes in 890 MD patients to compare the frequency of rare variants in cases using three independent public datasets as controls. Patients with sporadic MD showed a significant enrichment of missense variants in SNHL genes that was not found in the controls. The list of genes includes GJB2, USH1G, SLC26A4, ESRRB, and CLDN14. A rare synonymous variant with unknown significance was found in the MARVELD2 gene in several unrelated patients with MD. There is a burden of rare variation in certain SNHL genes in sporadicMD. Furthermore, the interaction of common and rare variants in SNHL genes may have an additive effect on MD phenotype. This study will contribute to design a gene panel for the genetic diagnosis of MD.This study was funded by FPS-PI0496-2014 and EF-0247- 2017 from Consejeria de Salud, Spain, 2016-MeniereSociety Grant, UK and Luxembourg National Research Fund (INTER/Mobility/17/11772209)